A case study in specifying and testing architectural features
نویسنده
چکیده
This paper studies the speci cation and testing of two main architectural features. We consider restricted forms of instruction pipelining and parallel memory models present in the SPARC speci cation. The feasibility of using an automatic tool, the concurrency work bench, has been demonstrated.
منابع مشابه
The Role of Algorithmic Applications in the Development of Architectural Forms (Case Study:Nine High-Rise Buildings)
The process of developing architectural forms has greatly been changed by advances in digital technology, especially in design tools and applications. In recent years, the advent of graphical scripting languages in the design process has profoundly affected 3D modeling. Scripting languages help develop algorithms and geometrical grammar of shapes based on their constituent parameters. This stud...
متن کاملSpatial-Social Place attachment: Impact of Spatial-Social Co-existence on Place Attachment in Sociable Places of Architectural Schools Setting; Case Studies: TABRIZ, Iran
The present study is focused on place attachment from environmental designers’ point of view. The study’s aim is to offer a helpful and practical model of place attachment for its audience; this is done using the Spatial-Social Place attachment(SSPa)model. Based on this model’s hypothesis, place attachment has two aspects: spatial and social; a purposeful and methodical (systematic) study...
متن کاملA Study of Women’s Living Space in Traditionally Iranian House’s (Case Study: Malek Al Tojjar’s House)
Since women have always had a special and respectable place in before and after Islam Iranian culture, such an attitude can be examined in the works of civilization, especially architecture. The problem of the present study is to investigate how the psychological components of women are related to architectural design variables and the main purpose of this study is to investigate the manifestat...
متن کاملبازخوانی «الگوی فضای میانی» در معماری ایران‌زمین
This paper explores a basic architectural model regarding spatial organization and planning in Iranian historical architecture, named herein as the “central space model,” which can be found in numerous historical buildings such as tombs and garden pavilions. This paper aims to determine the architectural features of this model and demonstrate its capacity in taking various functions...
متن کاملEnvironmental tranquility: A conceptual framework and urban architectural features
Stressful life and reduced well-being have always been an issue of lifestyle in modern society. Constructing a multidisciplinary conceptual framework of environmental tranquility and quality of life is required for the field of architectural development, improved environmental quality, and enhanced human well-being. This paper reviews the main concepts of tranquility, environmental quality, and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Microprocessors and Microsystems - Embedded Hardware Design
دوره 18 شماره
صفحات -
تاریخ انتشار 1994